Dependent types I › Universes, or types of types
jonmsterling.com·2h·
Discuss: Hacker News
🔤Type Theory
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·1d
🗂️Vector Databases
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·1d
📐Mathematical Art
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·16h
⬆️Lambda Lifting
Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·7h·
Discuss: DEV
🧠Memory Allocators
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·8h
🦀Embedded Rust
Reloading classes in python and shared borders
andrewpwheeler.com·21h·
Discuss: Hacker News
🦀Rust Macros
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·1d
🧲Magnetic Philosophy
Das Problem mit German Strings
polarsignals.com·11h·
Discuss: Lobsters, Hacker News
✅Format Verification
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·9h·
Discuss: Hacker News
🚀SIMD Text Processing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·13h·
Discuss: Hacker News
🧮Algebraic Datatypes
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·20h
🎯Gradual Typing
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·13h·
Discuss: DEV
🌀Brotli Internals